A short proof of the q-Dixon identity

نویسندگان

  • Victor J. W. Guo
  • Jiang Zeng
چکیده

We give a simple proof of Jackson’s terminating q-analogue of Dixon’s identity. In the last twenty years several short proofs of Dixon’s identity have been published [3–5]. However, there are not so many proofs of Jackson’s terminating q-analogue of Dixon’s identity [2, 6]: ∑ k (−1)kq(3k2+k)/2 [ a+ b a+ k ][ a+ c c+ k ][ b+ c b+ k ] = [a+ b+ c]! [a]![b]![c]! , (1) where [n]! = ∏n i=1 1−qi 1−q and the q-binomial coefficient [ x k ] is defined by [ x k ] =  k ∏ i=1 1− qx−i+1 1− qi , if k ≥ 0, 0, if k < 0. The aim of this note is to give a short proof of (1) by generalizing the argument of [5]. Note that [ n k ] = [n]! [k]![n−k]! for 0 ≤ k ≤ n. So (1) can be written as follows: ∑ k (−1)kq(3k2+k)/2 [ a+ b b− k ][ a+ c c+ k ][ b+ c b+ k ] = [ b+ c b ][ a+ b+ c b+ c ] . (2) Clearly both sides of (2) are polynomials in q of degree b+ c. It suffices to verify (2) for b+ c+ 1 distinct values of a. Suppose b ≤ c. For a = 0 the two sides of (2) are equal to [ b+c b ] . For a = −p with 1 ≤ p ≤ b + c the right-hand side of (2) vanishes, while the left-hand side of (2) is equal to

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A simple proof of Zariski's Lemma

‎Our aim in this very short note is to show that the proof of the‎ ‎following well-known fundamental lemma of Zariski follows from an‎ ‎argument similar to the proof of the fact that the rational field‎ ‎$mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.

متن کامل

A SHORT PROOF FOR THE EXISTENCE OF HAAR MEASURE ON COMMUTATIVE HYPERGROUPS

In this short note, we have given a short proof for the existence of the Haar measure on commutative locally compact hypergroups based on functional analysis methods by using Markov-Kakutani fixed point theorem.

متن کامل

Partial proof of Graham Higman's conjecture related to coset diagrams

Graham Higman has defined coset diagrams for PSL(2,ℤ). These diagrams are composed of fragments, and the fragments are further composed of two or more circuits. Q. Mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. Higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree...

متن کامل

Groups with one conjugacy class of non-normal subgroups‎ - ‎a short proof

For a finite group $G$ let $nu(G)$ denote the number of conjugacy classes of non-normal subgroups of $G$. We give a short proof of a theorem of Brandl, which classifies finite groups with $nu(G)=1$.

متن کامل

A short proof of the maximum conjecture in CR dimension one

In this paper and by means of the extant results in the Tanaka theory, we present a very short proof in the specific case of CR dimension one for Beloshapka's maximum conjecture. Accordingly, we prove that each totally nondegenerate model of CR dimension one and length >= 3 has rigidity. As a result, we observe that the group of CR automorphisms associated with each of such models contains onl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Discrete Mathematics

دوره 296  شماره 

صفحات  -

تاریخ انتشار 2005